@font-face {
  font-family: "DINPro";
  src: url("./dinpro_medium.subset.woff2") format("woff2");
}
